An Executable Specification of Map-Join-Reduce Using Haskell
نویسندگان
چکیده
منابع مشابه
Indexed Map-Reduce Join Algorithm
Map Reduce is used to handle and support massive data sets .rabidly increasing in data size, and big data are imperative today to make an analysis of this data. Map-Reduce gets more helpful information by using two simple functions map and reduce with load balancing, fault tolerance, and high scalability .the most important operation in the analysis process is join. This paper explains new two-...
متن کاملAn Executable Specification of C++
The Abstract State Machines (ASMs) theory has been applied to rigorously formalize the semantics of the C♯ programming language. The developed ASM model is validated here by providing an executable model which supports the experimentation with the ASM model. The executable model is a refinement of the ground model and is implemented in AsmL – the Abstract State Machine Language, which is embedd...
متن کاملUsing MATLAB to create an Executable Specification for Hardware
This article is the first in a three part series describing techniques and methods for using MATLAB as an executable specification for hardware development. MATLAB, the defacto industry standard for DSP algorithm development, includes abstractions such as complex numbers, matrix operations, built-in and toolbox libraries of DSP functions and waveform analysis that make this language highly usef...
متن کاملAn Executable Sequential Specification for Spark Aggregation
Spark is a new promising platform for scalable data-parallel computation. It provides several high-level application programming interfaces (APIs) to perform parallel data aggregation. Since execution of parallel aggregation in Spark is inherently non-deterministic, a natural requirement for Spark programs is to give the same result for any execution on the same data set. We present PURESPARK, ...
متن کاملSelf Energy Optimizing Cluster Framework for Map-Join-Reduce Applications
Cloud computing is emerging as a new paradigm of large-scale distributed computing. Cloud computing provides customers/users scalability, flexibility for their applications by providing collection of interconnected and virtualized servers. But as the requirement for cloud increases, so increase the consumption of huge amounts of electrical energy, contributing to high operational costs Green Ho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2019
ISSN: 2169-3536
DOI: 10.1109/access.2019.2891285